21907501905Lead Developer B1/SEO Closes £44,056, with the possibility of an RRA of £5,000

Source URL: www.ukho.gov.uk

• Human resource management
• Software development process
• Formal methods
• Agile software development
• Software project management
• Competence
• Test automation
• Software quality
• Geographic information system
• Continuous integration
• Software development

Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski

Source URL: mizar.org

• Predicate logic
• Proof assistants
• Mizar system
• Andrzej Trybulec
• Formal methods
• First-order logic
• TarskiGrothendieck set theory
• Constructible universe
• Mizar
• Automated proof checking
• Quantifier

Rodin in the field of railway system engineering Tomas Fischer, Thales Austria GmbH www.thalesgroup.com

Source URL: wiki.event-b.org

• Formal methods
• Process management
• Project management
• Systems engineering
• Rodin tool
• Domain-driven design
• SIGNAL
• Capella
• Business process
• Rodin
• B-Method
• Feature-driven development

Spatial Game Analytics and -Visualization Anders Drachen Matthias Schubert College of Computer and Information Science

Source URL: eldar.mathstat.uoguelph.ca

• Formal sciences
• Business intelligence
• Cartography
• Geography
• Geographic data and information
• Spatial analysis
• Analytics
• Data mining
• Predictive analytics
• Geographic information system
• Spatial database
• Heat map

Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D4 Traceable Requirements Document for Case Studies

Source URL: rodin.cs.ncl.ac.uk

• Software requirements
• Systems engineering
• Specification
• Requirement
• Rodin tool
• 3GPP
• UMTS
• Formal methods
• System requirements

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal Ewen Denney, Ganesh Pai and Josef Pohl SGT / NASA Ames Research Center Moffett Field, CA 94035, USA Email: {ewen.denney, ganesh.pai, josef.po

Source URL: ti.arc.nasa.gov

• Avionics
• Safety engineering
• Safety
• Risk
• Systems engineering
• Hazard analysis
• Safety case
• Unmanned aerial vehicle
• Functional safety
• Autopilot
• System safety
• Avionics software

The Third ACM SIGSPATIAL International Workshop on Analysis for Big Spatial Data Dallas, Texas, USA - November 4, 2014 Varun Chandola SUNY Buffalo, USA

Source URL: www.sigspatial.org

• Formal sciences
• Cartography
• Big data
• Data management
• Technology forecasting
• Transaction processing
• Geographic information system
• Analytics
• Oracle Spatial and Graph
• Esri
• CyberGIS

Machine Learning and Understanding for Intelligent Extreme Scale Scientific Computing and Discovery 15-CS-1768

Source URL: www.orau.gov

• Concurrent computing
• Parallel computing
• Formal sciences
• Learning
• Data management
• Data mining
• Deep learning
• Machine learning
• Supercomputer
• Big data
• Computer cluster
• Recommender system

X MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems DIDAC GIL DE LA IGLESIA, Linnaeus University DANNY WEYNS, Linnaeus University

Source URL: homepage.lnu.se

• Education
• Cybernetics
• Developmental psychology
• Educational psychology
• Cognition
• Systems science
• Control theory
• Systems theory
• Adaptive behavior
• Feedback
• Adaptive system
• Learning

Alumnae and Associates: Formal Hall Bookings NOTE that the booking system does not currently work on an iPad If this is your first time using the system, you will be prompted to download Silverlight which is a Microsoft

Source URL: www.lucy-cav.cam.ac.uk